\begin{tabbing}
$\forall$$A$,$B$:top.
\\[0ex]sqequal(\=R{-}Feasible\=\{i:l\}\+\+
\\[0ex](Rplus($A$; $B$));
\-\\[0ex](R{-}Feasible\{i:l\}($A$) $\wedge$ R{-}Feasible\{i:l\}($B$) $\wedge$ R{-}compat\{i:l\}($A$; $B$)))
\-
\end{tabbing}